Merge pull request #203 from danh-arm/dh/misc-docs-1.0
authordanh-arm <[email protected]>
Wed, 27 Aug 2014 18:16:27 +0000 (19:16 +0100)
committerdanh-arm <[email protected]>
Wed, 27 Aug 2014 18:16:27 +0000 (19:16 +0100)
Miscellaneous documentation fixes


Trivial merge